Future proof

#	Item
191	arXiv:math/0211397v1 [math.LO] 26 Nov[removed]THE FUTURE OF SET THEORY Add to Reading List Source URL: arxiv.org Language: English - Date: 2008-02-01 06:34:09 Metalogic Forcing Zermelo–Fraenkel set theory Saharon Shelah Equiconsistency Set theory Large cardinal Model theory Mathematical proof Mathematics Logic Mathematical logic
192	Opinion Sustaining the Add to Reading List Source URL: www.ams.org Language: English - Date: 2002-08-01 16:13:53 Mathematical object Philosophy of mathematics Future of mathematics Mathematics Applied mathematics Mathematical proof
193	PDF Document Add to Reading List Source URL: www.ams.org Language: English - Date: 1999-03-08 15:16:49 Mathematical proof Emmy Noether Mathematician Mathematical logic Group Engineering Future of mathematics Philosophy of mathematics Mathematics Knowledge Science